1. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
2. Essays in the philosophy and history of logic and mathematics /
Author: Roman Murawski ; foreword [by] Jan Woleński
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cantor, Georg,1845-1918,Hilbert, David,1862-1943,Hoene-Wroński, Józef Maria,1776-1853,Logic-- History,Logic, Symbolic and mathematical,Mathematics-- Philosophy,Mathematics-- Philosophy-- History-- 20th century
3. From signs to propositions: The concept of form in eighteenth-century semantic theory
Author: Land, Stephen K.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
Classification :
P
325
.
L3F7
4. Hausdorff on ordered sets
Author: / J.M. Plotkin, editor
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Ordered sets- History,Hausdorff, Felix,- 1868-1942,Logic, Symbolic and mathematical- History,Lattice theory- History,Functions- History
Classification :
QA171
.
48
.
H38
2005
5. Hausdorff on ordered sets
Author: Hausdorff, Felix, 8681-2491
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: History ، Ordered sets,، Hausdorff, Felix, 8681-2491,History ، Logic, Symbolic and mathematical,History ، Lattice theory,History ، Functions
Classification :
QA
171
.
48
.
H28H2
6. Logic and philosophy in the Lvov-Warsaw School
Author: Wolenski, Jan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: History ، Lvov-Warsaw School of Philosophy,History -- 02th century ، Logic, Symbolic and mathematical
Classification :
B
4689
.
W65
1989
7. Perspectives on the history of mathematical logic
Author: Thomas Drucker, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: History ، Logic, Symbolic and mathematical
Classification :
QA
9
.
P47
1991
8. Perspectives on the history of mathematical logic
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- History
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Philosophical aspects of symbolic reasoning in early modern mathematics
Author: / edited by Albrecht Heeffer and Maarten Van Dyck
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, History, Congresses
Classification :
E-BOOK
10. Propositions, functions, and analysis : selected essays on Russell's philosophy
Author: Hylton, Peter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Russell, Bertrand, 2781-0791,History -- 02th century ، Analysis )Philosophy(,History -- 02th century ، Logic, Symbolic and mathematical
Classification :
B
1649
.
R94H94
11. Propositions, functions, and analysis :selected essays on Russell's philosophy
Author: Hylton, Peter.
Library: Library of Mofid University (Qom)
Subject: ، Russell, Bertrand,2781-0791,History ، Analysis )Philosophy( - 02th century,History ، Logic, Symbolic and mathematical - 02th century
Classification :
B1649
.
R94
H94
2005
12. Russell's Hidden substitutional theory
Author: / Gregory Landini
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Russell, Bertrand, 1872-1970,Proposition (Logic - History - 20th century),Logic, symbolic and mathematical - History - 20th century
Classification :
B1649
.
R94L36
1998
13. Russell's hidden substitutional theory
Author: Landini, Gregory
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Russell, Bertrand, 2781 - 0791,، Probosition )logic-History - 02th century(,، Logic, symbolic and mathematical - History - 02th century
Classification :
B
1649
.
R94
L36
1998
14. Russell's hidden substitutional theory
Author: Landini, Gregory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Russell, Bertrand, 2781-0791,History -- 02th century ، Proposition )Logic(,History -- 02th century ، Logic, Symbolic and mathematical
Classification :
B
1649
.
R94L3
15. The adventure of reason :
Author: Paolo Mancosu
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
Classification :
QA9
.
M295
2010
16. The road to universal logic :
Author: Arnold Koslow, Arthur Buchsbaum, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
Classification :
QA9
17. 1940-The search for mathematical roots, 1870
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
